<?
include_once("codelibrary/inc/variables.php");//Using variables.php for Database Connectivity
session_start();

$customer_id = $_SESSION["customer_id"];
if ( $customer_id=="")//only bracket amendment
{
	session_unset();
	session_destroy();
	header("customer-login.php?logerr=register");
	die();
}
?>